- Rochelemagne
- RochelemagneNom rencontré dans le Cantal et la Haute-Loire (variante : Rochelimagne). Désigne celui qui est originaire de Rochelimagne, hameau de la commune de Polignac (43). Sens du toponyme : la forteresse, le rocher (roche) au milieu des marécages (limagne). M.T. Morlet signale la forme Rocha Limanhas en 1368.
Noms de famille. 2013.